An Intelligent Teaching Assistant System for Logic
نویسندگان
چکیده
This paper presents the Logic-ITA, an Intelligent Teaching Assistant system for the teaching/learning of propositional logic. Intelligent Teaching Assistant Systems are dedicated both to learners and teachers. The system embeds three tools: the Logic Tutor, the LT-Configurator and the LT-Analyser. The Logic Tutor is an intelligent tutoring system destined to the students. The other two tools are dedicated to the teacher. The LT-Configurator manages teaching configuration settings and material. The LT-Analyser is for monitoring the class’ progress and collect data.
منابع مشابه
Designing an Intelligent Intrusion Detection System in the Electronic Banking Industry Using Fuzzy Logic
One of the most important obstacles to using Internet banking is the lack of Stability of transactions and some misuse in the course of transactions it is financial. That is why preventing unauthorized access Crime detection is one of the major issues in financial institutions and banks. In this article, a system of intelligence has been designed that recognizes Suspicious and unusual behaviors...
متن کاملDesign and Implementation of an Intelligent Part of Speech Generator
The aim of this paper is to report on an attempt to design and implement an intelligent system capable of generating the correct part of speech for a given sentence while the sentence is totally new to the system and not stored in any database available to the system. It follows the same steps a normal individual does to provide the correct parts of speech using a natural language processor. It...
متن کاملFrequency Control of an Islanded Microgrid based on Intelligent Control of Demand Response using Fuzzy Logic and Particle Swarm Optimization (PSO) Algorithm
Due to the increasing penetration of renewable energies in the power system, the frequency control problem has attracted more attention, while the traditional control methods are not capable of regulating the frequency and securing the stability of the system. In smart grids, demand response as the frequency control tool reduces the dependence on spinning reserve and high cost controllers. In a...
متن کاملDissertation : Incremental Maintenance of Recursive Views with Applications to Tabled Logic Programming
Vulnerability analysis using dynamic attack graphs, dynamic binary analysis for mobile code security, incre-mental bisimulation algorithm. Development of algorithms for incremental evaluation of tabled logic programs and its application to program analysis, generation and analysis of multiple counterexamples for error cause localization, model checking security-relevant properties of sequential...
متن کاملDRILL WEAR PREDICTION SYSTEM USING OF MOTOR CURRENT AND FUZZY LOGIC METHOD
In automation flexible manufacturing systems, tool wear detection during the cutting process is one of the most important considerations. This study presents an intelligent system for online tool condition monitoring in drilling process .In this paper, analytical and empirical models have been used to predict the thrust and cutting forces on the lip and chisel edges of a new drill. Also an empi...
متن کامل